package typechecker.ast.type;

import typechecker.ast.Context;

public abstract class TypeExpression{
	public abstract String preetyPrint();
	/**
	 * Creates a fresh copy of a type expression.
	 * @param ctx TypeVariable context used for keeping informations about bound variables
	 * @return The fresh copy
	 */
	public abstract TypeExpression freshCopy(Context<TypeVariable> ctx);
}
